array access analysis 예문

• Typical exact array access analysis include linearization and atom images.
• Array access analysis can be largely categorized into exact ( or reference-list-based ) and summary methods for different tradeoffs of accuracy and complexity.
• Array access analysis aims to obtain the knowledge of which portions or even which elements of the array are accessed by a given code segment ( basic block, procedure level ).